\frame
{
  \frametitle{Micropattern detector example}
  \B
  \item Find calls to {\tt System.gc()}
    \B
    \item Bad idea in general
    \item Really bad idea in finalizers
    \item We'll allow them in {\tt main} methods
    \E
  \item FindBugs already detects this bug pattern
        in the {\tt DumbMethods} detector
  \item Analysis technique: detector just needs to find
        {\tt invokestatic} instructions that call this
        method
  \E
}
